Fix non-x86 build.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 15 Feb 2006 11:20:42 +0000 (12:20 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 15 Feb 2006 11:20:42 +0000 (12:20 +0100)
commit299db04285c07d09bd8500beed5cbc9d487a8bd9
tree5bba49bb5175e7bb34f0f6b5f0e715642b084753
parent71808be4de72228b25e641563e0db7eae606057f
Fix non-x86 build.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/kernel.c